Fuzzy Logic and Arithmetical Hierarchy III

نویسنده

  • Petr Hájek
چکیده

Fuzzy logic is understood as a logic with a comparative and truth-functional notion of truth. Arithmetical complexity of sets of tautologies (identically true sentences) and satissable sentences (sentences true in at least one interpretation) as well of sets of provable formulas of the most important systems of fuzzy predicate logic is determined or at least estimated .

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Arithmetical Complexity of First-order Predicate Fuzzy Logics Over Distinguished Semantics

All promiment examples of first-order predicate fuzzy logics are undecidable. This leads to the problem of the arithmetical complexity of their sets of tautologies and satisfiable sentences. This paper is a contribution to the general study of this problem. We propose the classes of first-order core and ∆-core fuzzy logics as a good framework to address these arithmetical complexity issues. We ...

متن کامل

A Combined Fuzzy Logic and Analytical Hierarchy Process Method for Optimal Selection and Locating of Pedestrian Crosswalks

One of the main challenges for transportation engineers is the consideration of pedestrian safety as the most vulnerable aspect of the transport system. In many countries around the world, a large number of accidents recorded by the police are composed of accidents involving pedestrians and vehicles, for example when pedestrians may be struck by passing vehicles when crossing the street. Carefu...

متن کامل

A geographic information system for gas power plant location using analytical hierarchy process and fuzzy logic

This study recommends a GIS-based (Geographic Information Systems) and multi-criteria evaluation for site selection of gas power plant in Natanz City of Iran. The multi-criteria decision framework integrates legal requirements and physical constraints related to environmental and economic concerns. It also builds a hierarchy model for gas power plant suitability. The methodologies used for site...

متن کامل

Using boolean and fuzzy logic combined with analytic hierarchy process for hazardous waste landfill site selection: A case study from Hormozgan province, Iran

Hazardous wastes include numerous kinds of discarded chemicals and other wastes generated from industrial, commercial, and institutional activities. These types of waste present immediate or long-term risks to humans, animals, plants, or the environment and therefore require special handling for safe disposal. Landfills that can accept hazardous wastes are excavated or engineered sites where th...

متن کامل

Karstification Potential Mapping in Northeast of Khuzestan Province, Iran, using Fuzzy Logic and Analytical Hierarchy Process (AHP) techniques

The primary objective of the current study is to produce karstification potentiality maps in northeast of Khuzestan province, Iran, using both fuzzy logic and AHP models as an additional tool in hydrogeological research. Geographic Information Systems (GIS) and Remote Sensing (RS) are used to create two maps depicting the development of the karstification, consisting of five classes, showing th...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Studia Logica

دوره 68  شماره 

صفحات  -

تاریخ انتشار 2001